Sitzung vom 9. Juli 1883

vom 14 . 9 . 2009

FG ARC: Bericht zum Workshop Traceability und Evolution vom 3. Juli 2012 in Paderborn

Ablauf 13:30 Uhr Begrüßung und kurze Vorstellung 13:45 15:15 Uhr Vorträge Andrea Hermann, Stuttgart: Die Komplexität der Traceability Elke Bouillon, TU Ilmenau: RequirementsTraceability in der industriellen Praxis Ziele und Einsatz Patrick Rempel, Tobias Kuschke, Steffen Lehnert, TU Ilmenau: Defining Criteria for Traceability Tool Comparison 15:15 15:30 Uhr Kaffeepause 15:30 16:30 Uhr Workshop-...

Die medicinische Reform. Eine Wochenschrift, erschienen vom 10. Juli 1848 bis zum 29. Juni 1849

TYPHUS, orJAW FRACTURES. It must be noted, however, that the names of medical men do not appear in this alphabetical listing, hence it is not a particularly helpful guide to the scholar concerned with medical biography, especially as the index also fails to provide a way-in to great names. The absence of running heads, moreover, leaves the book exasperatingly more difficult to consult than it n...

Juli 1994 Karin

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...